Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition
نویسندگان
چکیده
We study the problem of optimizing over parameters a particular real root of a polynomial with parametric coefficients. We propose an efficient symbolic method for solving the optimization problem based on a special cylindrical algebraic decomposition algorithm, which asks for a semi-algebraic decomposition into cells in terms of Number-of-Roots-invariant. Mathematics Subject Classification (2000). Primary 26C10; Secondary 49N05.
منابع مشابه
Cylindrical Algebraic Decomposition in the RegularChains Library
Cylindrical algebraic decomposition (CAD) is a fundamental tool in computational real algebraic geometry and has been implemented in several software. While existing implementations are all based on Collins’ projection-lifting scheme and its subsequent ameliorations, the implementation of CAD in the RegularChains library is based on triangular decomposition of polynomial systems and real root i...
متن کاملComparing Different Projection Operators in Cylindrical Algebraic Decomposition for SMT Solving
Satisfiability-modulo-theories (SMT) solving is a technique to check the satisfiability of logical formulas. In the context of SMT solving for non-linear real arithmetic, the cylindrical algebraic decomposition (CAD) can be embedded as a theory solver to solve sets (conjunctions) of polynomial constraints. When developing such a CAD theory solver, a design choice is given by the selection of th...
متن کاملFrom Approximate Factorization to Root Isolation with Application to Cylindrical Algebraic Decomposition
We present an algorithm for isolating the roots of an arbitrary complex polynomial p that also works for polynomials with multiple roots provided that the number k of distinct roots is given as part of the input. It outputs k pairwise disjoint disks each containing one of the distinct roots of p, and its multiplicity. The algorithm uses approximate factorization as a subroutine. In addition, we...
متن کاملComputing with semi-algebraic sets: Relaxation techniques and effective boundaries
We discuss parametric polynomial systems, with algorithms for real root classification and triangular decomposition of semi-algebraic systems as our main applications. We exhibit new results in the theory of border polynomials of parametric semi-algebraic systems: in particular a geometric characterization of its “true boundary” (Definition 1). In order to optimize the corresponding decompositi...
متن کاملComparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving
Satisfiability-modulo-theories (SMT) solving is a technique to check the satisfiability of logical formulas. In the context of SMT solving for non-linear real arithmetic, the cylindrical algebraic decomposition (CAD) can be embedded as a theory solver to solve sets (conjunctions) of polynomial constraints. When developing such a CAD theory solver, a design choice is given by the selection of th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Mathematics in Computer Science
دوره 5 شماره
صفحات -
تاریخ انتشار 2011